print("%15d" %0xABCD)

